Futures and promises

Results: 282



#Item
141Computing / Concurrency control / Database management systems / Cross-platform software / Isolation / Rollback / Database trigger / Futures and promises / ACID / Transaction processing / Data management / Data

Firebird / Interbase Transaction Simulator (Felix John COLIBRI) •

Add to Reading List

Source URL: www.intitec.com

Language: English - Date: 2013-07-16 13:50:22
142Programming paradigms / Concurrent computing / Logic programming / Futures and promises / Actor model / Overlay network / Prolog / Yi / Guard / Computing / Software engineering / Computer programming

6 Applied Parallel Processing Technology 6-1 Distributed Processing Language Overlay GHC and its Application Possibilities SAITO Kenji Today’s high-performance computers and high-speed networks allow sophisticated appl

Add to Reading List

Source URL: www.nict.go.jp

Language: English - Date: 2013-11-21 20:24:25
143Parallel computing / Concurrency / Actor model / Programming language / Linda / C++ / Tuple space / Futures and promises / Operating system / Computing / Computer programming / Software engineering

A. Language Comparison This section reviews other languages and systems relative to the requirements for robust servers and open distributed systems. It also compares the capabilities of Joule with those of its antecede

Add to Reading List

Source URL: www.erights.org

Language: English - Date: 2004-12-04 19:43:48
144Computing / Linear temporal logic / Temporal logic / Eval / Interpretation / Structure / Logical connective / Futures and promises / Model theory / Logic / Mathematical logic

Program Monitoring with LTL in E AGLE Howard Barringer University of Manchester, England Allen Goldberg, Klaus Havelund Kestrel Technology, NASA Ames Research Center, USA

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:12:43
145Promise / Contract / Asymmetry / Futures and promises / Behavior / Oral literature / Vocal music / Contract law / Ethics / Law

Social Psychological and Personality Science http://spp.sagepub.com/ Worth Keeping but Not Exceeding: Asymmetric Consequences of Breaking Versus Exceeding Promises Ayelet Gneezy and Nicholas Epley

Add to Reading List

Source URL: rady.ucsd.edu

Language: English - Date: 2014-07-31 17:44:21
146Concurrent computing / Lock / Parallel computing / Monitor / Futures and promises / Schedule / Thread / Race condition / Spinlock / Computing / Concurrency control / Computer programming

High-level Data Races Cyrille Artho∗, Klaus Havelund†, and Armin Biere∗ ∗ † Computer Systems Institute, ETH Zurich, Switzerland

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:18:13
147C++ / Object-oriented programming / Generic programming / Subroutines / Futures and promises / Template / POSIX Threads / Function object / Computing / Software engineering / Computer programming

async magic (en)lightening talk [removed] async as a code reordering specifier

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2014-04-09 12:39:10
148Quorum / Parallel computing / Public Radio Exchange / Algorithm / Distributed computing / Replication / Transmission Control Protocol / Computer data storage / Futures and promises / Computing / Latency / Concurrent computing

2D/plots/SL.nr20.nw30.f2.2D.W.eps

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2012-04-09 04:51:58
149HTML / Shorthand / Stenographers / Transcription / Cascading Style Sheets / C / HTML element / Futures and promises / Document Object Model / Computing / Software engineering / Computer programming

+ egghead.io presents Core Injectable Services ++

Add to Reading List

Source URL: d2eip9sf3oo6c2.cloudfront.net

Language: English - Date: 2014-10-04 11:42:19
150Futures contract / Futures and promises / Future

Winter[removed]Equal Futures become a member of the Thera Group Message from the Chair It is my great pleasure to introduce myself to you

Add to Reading List

Source URL: www.equalfutures.org.uk

Language: English - Date: 2014-12-24 08:05:13
UPDATE